IBM Research - PDFSEARCH.IO - Document Search Engine

IBM Research
Results: 1429

#	Item
911	QVM: An Efﬁcient Runtime for Detecting Defects in Deployed Systems MATTHEW ARNOLD and MARTIN VECHEV, IBM Research ERAN YAHAV, Technion and IBM Research Coping with software defects that occur in the post-deployment st Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2012-01-06 13:35:10 Software optimization Cross-platform software Java Virtual machine Profiling VM Objective-C BitTorrent Class Computing Software engineering Computer programming
912	Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:38 Transaction processing Dynamical systems Mathematics Concurrent data structure Linearization Algorithm Parallel computing Model checking Concurrency Concurrency control Computing Linearizability
913	Publication Culture in Computer Science and Software Engineering Richard P. Gabriel IBM Research [removed] / [removed] I have been involved in the publication of computer science and software engineering pa Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-11 19:28:15 Software engineering OOPSLA Onward! Programming Language Design and Implementation Peer review SIGPLAN David Ungar Pattern Languages of Programs Programming language theory Association for Computing Machinery Computer science Computing
914	Better Science Through Art } Richard P. Gabriel IBM Research Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:54:16 Ethology Science studies Epistemology Scientific method Charles Sanders Peirce Theory Abductive reasoning Pseudoscience Tacit knowledge Science Knowledge Philosophy of science
915	I Throw Itching Powder at Tulips Richard P. Gabriel IBM Research [removed] Abstract Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2014-08-27 17:13:26 Software project management Software requirements Software development process Extreme programming Requirement Software development Software Agile software development
916	A Pattern of Language Evolution Richard P. Gabriel IBM Research Guy L. Steele Jr. Sun Laboratories Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:57:26 Lisp programming language Functional languages Franz Lisp Lisp Maclisp NIL Interlisp Macsyma Genera Computing Computer programming Software engineering
917	Verifying Optimistic Algorithms Should be Easy (Position Paper) Noam Rinetzky Martin T. Vechev Eran Yahav Greta Yorsh Queen Mary University of London IBM T.J. Watson Research Center Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:30:20 Transaction processing Mathematics Thread Linearization Algorithm Concurrency Concurrency control Computing Linearizability
918	Acting or Reacting? Preferential Attachment in a People-Tagging System Daphne Ruth Raban Graduate School of Management and the Center for the Study of the Information Society, University of Haifa, Mount Carmel, Haifa 319 Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2011-03-08 06:18:13 World Wide Web Computing Collaboration Collective intelligence Knowledge representation Social bookmarking Tag Folksonomy Flickr Information Social information processing Web 2.0
919	MarketScope for Storage Services, North America, 2009 Gartner RAS Core Research Note G00169882, Adam W. Couture, Robert E. Passmore, 24 August 2009 Gartner evaluates storage service providers on their innovation, capabil Add to Reading List Source URL: www-03.ibm.com Language: English Computer storage Hitachi Hitachi Data Systems NetApp Brocade Communications Systems Cloud storage Dell Enterprise storage EMC Symmetrix Computing Computer hardware Technology
920	Stratified-Sampling over Social Networks Using MapReduce Roy Levin Yaron Kanza Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2014-05-22 03:34:31 Structure Stratified sampling Sample Errors and residuals in statistics Statistics Sampling Sample size determination